HONSELL, FURIO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Social robots as cultural objects: The sixth dimension of dynamicity?

Fortunati, Leopoldina, Sarrica, Mauro, Ferrin, Giovanni, Brondi, Sonia, Honsell, Furio

Journal:

The Information Society

Year:

2018

Language:

english

File:

PDF, 641 KB

english, 2018

2

A framework for defining logics

Harper, Robert, Honsell, Furio, Plotkin, Gordon

Journal:

Journal of the ACM

Year:

1993

Language:

english

File:

PDF, 2.56 MB

english, 1993

3

COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY

Marco Forti, Furio Honsell

Journal:

Mathematical Logic Quarterly

Year:

1984

Language:

english

File:

PDF, 244 KB

english, 1984

4

Plugging-in proof development environments using Locks in LF

HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 549 KB

english, 2018

5

Editorial

Furio Honsell, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 105 KB

english, 2006

6

Coalgebraic Description of Generalized Binary Methods

Furio Honsell, Marina Lenisa, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 231 KB

english, 2006

7

A type assignment system for game semantics

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 454 KB

english, 2008

8

The consistency of the axiom of universality for the ordering of cardinalities

Forti, Marco, Honsell, Furio

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 570 KB

english, 1985

9

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

Furio Honsell, Simonetta Ronchi Della Rocca

Journal:

Journal of Computer and System Sciences

Year:

1992

Language:

english

File:

PDF, 1.28 MB

english, 1992

10

Axiomatic Characterizations of Hyperuniverses and Applications

MARCO FORTI, FURIO HONSELL, MARINA LENISA

Journal:

Annals of the New York Academy of Sciences

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

11

Structured Operational Semantics of a fragment of the language Scheme

HONSELL, FURIO, PRAVATO, ALBERTO, DELLA ROCCA, SIMONA RONCHI

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 351 KB

english, 1998

12

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || On Garbage and Program Logic

Honsell, Furio, Miculan, Marino

Year:

2001

Language:

english

File:

PDF, 167 KB

english, 2001

13

Consistency of the theory of contexts

BUCALO, ANNA, HONSELL, FURIO, MICULAN, MARINO, SCAGNETTO, IVAN, HOFFMAN, MARTIN

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 374 KB

english, 2006

14

The Theory of Contexts for First Order and Higher Order Abstract Syntax

Furio Honsell, Marino Miculan, Ivan Scagnetto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 201 KB

english, 2002

15

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axioms for Recursion in Call-by-Value

Honsell, Furio, Miculan, Marino

Year:

2001

Language:

english

File:

PDF, 226 KB

english, 2001

16

Generalized Coiteration Schemata

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

17

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 271 KB

english, 2002

18

A Model where Cardinal Ordering is Universal

Marco Forti, Furio Honsell

Journal:

Mathematical Logic Quarterly

Year:

1985

Language:

english

File:

PDF, 253 KB

english, 1985

19

Semantical analysis of perpetual strategies in λ-calculus

Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.81 MB

english, 1999

20

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axiomatizing Tropical Semirings

Honsell, Furio, Miculan, Marino

Year:

2001

Language:

english

File:

PDF, 200 KB

english, 2001

21

[ACM Press the Eighth ACM SIGPLAN international workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13 - 25 years of formal proof cultures

Year:

2013

Language:

english

File:

PDF, 617 KB

english, 2013

22

The Times They Are A-Changin’: Research Networks for Understanding and Disseminating Transition and Innovation

Journal:

Transition Studies Review

Year:

2004

Language:

english

File:

PDF, 124 KB

english, 2004

23

Functors Determined by Values on Objects

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 320 KB

english, 2006

24

A category of compositional domain-models for separable Stone spaces

Fabio Alessi, Paolo Baldan, Furio Honsell

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 463 KB

english, 2003

25

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - A lambda calculus of objects with self-inflicted extension

Di Gianantonio, Pietro, Honsell, Furio, Liquori, Luigi

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

26

Choice principles in hyperuniverses

Marco Forti, Furio Honsell

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 1.17 MB

english, 1996

27

A Framework for Defining Logical Frameworks

Furio Honsell, Marina Lenisa, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

28

An open logical framework

Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Journal:

Journal of Logic and Computation

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

29

Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52

Marco Forti, Furio Honsell

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 257 KB

english, 1998

30

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.91 MB

english, 1992

31

Some Properties and Some Problems on Set Functors

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 368 KB

english, 2006

32

On the completeness of order-theoretic models of the λ-calculus

Furio Honsell, Gordon Plotkin

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 180 KB

english, 2009

33

A lambda calculus of objects with self-inflicted extension

Di Gianantonio, Pietro, Honsell, Furio, Liquori, Luigi

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

34

Properties of Set Functors

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

35

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - LF P

Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Year:

2012

Language:

english

File:

PDF, 732 KB

english, 2012

36

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

Furio Honsell, Marina Lenisa, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 336 KB

english, 2004

37

Coinductive characterizations of applicative structures

HONSELL, FURIO, LENISA, MARINA

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 444 KB

english, 1999

38

Preface

Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

39

A general construction of hyperuniverses

Marco Forti, Furio Honsell

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 960 KB

english, 1996

40

A Language for Verification and Manipulation of Web Documents: (Extended Abstract)

Luigi Liquori, Furio Honsell, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

41

Equivalences and Congruences on Infinite Conway Games

Honsell, Furio, Lenisa, Marina, Redamalla, Rekha

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 502 KB

english, 2012

42

Prelogical Relations

Furio Honsell, Donald Sannella

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

43

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

File:

PDF, 690 KB

2017

44

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

Language:

english

File:

PDF, 690 KB

english, 2017

45

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 312 KB

english, 2001

46

Coalgebraic Coinduction in (Hyper)set-theoretic Categories

Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.45 MB

2000

47

Modeling Fresh Names in the π-calculus Using Abstractions

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 347 KB

english, 2004

48

Encoding Modal Logics in Logical Frameworks

Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano

Journal:

Year:

1998

File:

PDF, 2.44 MB

1998

49

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 4941 || Algorithmic Equality in Heyting Arithmetic Modulo

Miculan, Marino, Scagnetto, Ivan, Honsell, Furio

Year:

2008

Language:

english

File:

PDF, 470 KB

english, 2008

50

An axiomatization of partial n-place operations

FORTI, MARCO, HONSELL, FURIO, LENISA, MARINA

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 444 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски